@echo off
rem Tests the date book specification for one test case (argument)
rem -- Output the argument to stdout (for redirect) and "con" (for user feedback)
echo VDM Test: '%1' > con
echo VDM Test: '%1'

rem short names for specification files in Word RTF Format
set A1=Author.rtf
set A2=Publication.rtf
set A3=TestValidation.rtf

rem -- Calls the interpreter for this test case
"C:\Programs\VDM++Toolbox_v8.1.1b\bin\vppde" -i -D -I -P -Q -R vdm.tc -O %1.res %1 %A1% %A2% %A3%

rem --Check for difference between result of execution and expected result
if EXIST %1.exp fc /w %1.res %1.exp

:end